Specification and Verification of Component-Based Systems Workshop
نویسندگان
چکیده
The associated poster summarizes results from the OOPSLA 2001 workshop on Specification and Verification of Component-Based Systems. The workshop's goal is to explore foundations for applying formal methods to component-based systems. The results and future work sections of the poster will be prepared during the workshop.
منابع مشابه
Seventh Workshop on the Validation and Verification of Knowledge-Based Systems
workshop from a testingand toolbased approach to KBS evaluation to that of a formal specification-based approach. The 1994 workshop included 12 full papers and 5 short papers and was attended by 35 researchers from government, industry, and academia. The full papers of the workshop were presented in three sessions: (1) formal methods and techniques for validation and verification, (2) technique...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملSAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001
Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal incrementally with derived ...
متن کاملEighth Workshop on the Val - idation and Verification of Knowledge - Based Systems
search encompasses work in changing the development cycle of the KBS to make the product and process easier to verify and validate. In “Specification Refinement of Object-Oriented KBSs,” A. Vermesan (Foundation for Research in Economics and Business Administration, Norway) looks at KBSs that perform reasoning in a framework of structured objects. Her approach is to verify that as details are ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001